Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·1d·
Discuss: Hacker News
🔧Binary Parsing
The Ternary Manifesto
homepage.cs.uiowa.edu·13h
📝Concrete Syntax
Advent of Code: Libraries
elly.town·23h
🔒Type Safety
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·19h
⚔️Lean Tactics
Semantic Dictionary Encoding
falvotech.com·2d·
Discuss: Hacker News
🌀Brotli Dictionary
WebSocket Turbo Intruder: Unearthing the WebSocket Goldmine
portswigger.net·11h
🧪Protocol Fuzzing
Understanding legacy application rewrite vs. refactor tradeoffs
testdouble.com·23h
🔄Language Evolution
JDK 25 LTS Released with TLS Key Exporters, Improved Debugging
linuxiac.com·3h
🛡️CBOR Security
Golang Interfaces are easy
dev.to·9h·
Discuss: DEV
🌐Protocol Synthesis
Cap'n Proto - structured data serialziation format
capnproto.org·2d
📋Protocol Buffers
Compiling with Continuations
swatson555.github.io·19h·
Discuss: Hacker News
💻Programming languages
Show HN: Chibi Izumi, staged dependency injection for Python
github.com·1h·
Discuss: Hacker News
🧩WASM Components
Ei Embedded Inverser: automatic inversion of expressions at the structural level
news.ycombinator.com·13h·
Discuss: Hacker News
🎯Interactive Provers
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
PSA: `views::single` doesn’t really view
quuxplusone.github.io·1d
🧮Algebraic Datatypes
[$] Comparing Rust to Carbon
lwn.net·1d
🦀Rust Borrowing
System Instruction Fixed Point
funcall.blogspot.com·1d·
Discuss: www.blogger.com
⚡Proof Automation
Cve-2025-43330: breaking out of a sandbox using font files
bsssq.xyz·8h·
Discuss: Hacker News
🧬Bitstream Evolution
Clean Code Tips I Learned from Senior Engineers
blog.algomaster.io·19h·
Discuss: r/programming
📏Code Metrics
libicns v0.8.1 Heap Buffer Overflow in libicns ICNS Parsing (icns2png)
seclists.org·1d
✅Format Verification